Compactness results for immersions of prescribed Gaussian curvature I - analytic aspects

We extend recent results of Guan and Spruck, proving existence results for constant Gaussian curvature hypersurfaces in Hadamard manifolds.Comment: New title. Previously, "Constant Gaussian Curvature Hypersurfaces in Hadamard Manifolds". Mistakes corrected. Introduction revised to reflect recent developments in the fiel